VC-dimension of short Presburger formulas

We study VC-dimension of short formulas in Presburger Arithmetic, defined to have a bounded number of variables, quantifiers and atoms. We give both lower and upper bounds, which are tight up to a polynomial factor in the bit length of the formula

How different housing systems affect calves

Hur kalvens hälsa och tillväxt varit under sina första 90 dagar har en inverkan hela hennes liv och hennes framtida mjölkproduktion. Denna uppsats syftar därför till att reda ut hur mjölkraskalvar påverkas av dess inhysning och undersöka kalvens behov och hur dessa behov tillfredsställs i de olika inhysningssystemen. Samt redogöra hur olika system har för och nackdelar i olika aspekter för så väl kalven som personalen. Dessa frågor besvaras genom att undersöka flertalet vetenskapliga artiklar. Kalvar som har en yta av minst 2,8 m2 var och som hålls i grupp leker mer, uppnår en bättre social förmåga och äter mer koncentrat. En god ventilation är grunden för att uppnå ett lågt smittryck. Ventilationen måste dock vara utformad så att det inte uppstår drag vid kalvarna. Många studier påvisar att kalvar som inhyses utomhus i hyddor eller liknande är friskare men det är även ofta ett system med sämre arbetsmiljö. Detta arbete har inte kunnat dra slutsatsen om vilket enskilt system som skulle vara bäst. Däremot så klargörs de parametrarna som ger förutsättningarna för ett bra kalvstall och ger läsaren en grundlig förståelse om vad som har störst inverkan på hälsan och tillväxten.The calf's health and growth during her first 90 days has an impact on her whole life and her future milk production. This thesis therefore aims to find out how dairy calves are affected by its housing system and examine the calf's needs and how these needs are met in the different housing systems. As well as explaining how different systems have pros and cons in different aspects for both the calf and the staff. These questions are answered by examining a wide range of scientific articles. Calves that have an area of at least 2,8 m2 each and are kept in groups play more and achieve a better social ability and eat more concentrate. Good ventilation is the basis for achieving a low disease pressure. However, the ventilation must be designed so that there is no draft on the calves. Many studies have shown that calves that are housed outdoors are healthier but it is also a system with a poorer working environment. This study has not come up with a result that states which individual system that would be best for calves. But the parameters that provide the conditions for a good calf barn are clarified and gives the reader a thorough understanding of what has contributed on health and growth for the calf

Fiberarmerad betong : En analys av fiberarmerat plattbärlag

Fiber-reinforced concrete is a construction material that holds high promise in progressing theconstruction industry. The fibers impact on crackproperties as well as strength means there isa wide array of application areas. Still this material holds a very limited area of application asof today. One of the main reasons for this is the lack of examples and tests in new applicationareas. This work therefore aims to identify whether fiber-reinforced lattice girder elementscan compete with an element reinforced in the traditional way in any of the categories cost,work environment, strength or environmental impact. Through literature study andcalculations, we were able to see that this method of reinforcing lattice girder elements couldbe applicable at least in some of the areas. The study saw that the steel fiber came with anincrease in cost, decrease in time, bigger impact on the environment and a better workenvironment. This means that this method could be used in some specific cases where timeand work environment is of importance. We also see that further advancements in this methodcan be made if the fibers are combined with normal rebar

"Nu sätter vi ord på det, ryggraden har flyttat till huvudet" : kollegialt lärande och ett språkutvecklande förhållningssätt som beprövad erfarenhet i fritidshemsverksamheten

Artikeln beskriver ett utvecklingsarbete bedrivet i fritidshemsverksamhet. Syftet var att genom kollegialt lärande utveckla ett språkutvecklande förhållningssätt i verksamheten. Arbetet genomfördes under tre terminer och dokumentationen utgörs av anteckningar från observationer och samtalsträffar samt ljudinspelning från ett återkopplande samtal inspirerat av ”stimulated recall”. Resultatet bekräftar tidigare forsknings beskrivningar av fritidsverksamhet som en verksamhet som under senare år påverkats av organisatoriska förändringar och som en miljö för informellt lärande och processinriktad didaktik. Resultatet visar också på möjligheter att utveckla fritidshemsverksamhetens särskilda karaktär genom kollegialt lärande och strävan efter vetenskaplig grund. Utvecklingsarbetet bidrog till att stärka fritidslärarnas yrkesroll och öka deras medvetenhet om språkets betydelse för lärande

Development of the Web Application Candydat

This report describes how development of an online retailer of custom designed laptop cases can be implemented. The report also aims to contribute to the field of developing a web application with a design tool. The thesis is based on the question “How can one develop and give high usability to a web application with the purpose of selling personalized laptop cases to an end customer?” and has the vision that people who want to add a personal touch to everyday life will find the e-shop. According to the market analysis in appendix 1 there is an unfulfilled need on the market for personalized laptop cases. Therefore, development in the area would be meaningful. The report accounts for the technical methods which can be used, and in what ways they might impact the competitiveness of the e-shop. During the development process of the web application, great attention has been directed towards design strategies which creates confidence in the potential customer. This is something which, according to the theory presented, is a crucial factor in order for the customer to complete a purchase. In addition to this it is noted in the theory that it is vital for an e-shop to have short loading times, something which has been an important factor in the development of the application. The conclusion is that a web application where the main purpose is the sale of customized products can be developed using the agile software development method scrum and the other methods that is discussed throughout the project. To develop a design tool for laptop cases was a big challenge where minimalistic design was constantly weighed against an increased functionality for the user.Denna rapport utreder hur utvecklingen av en e-butik som erbjuder personligt designade laptopfodral kan genomföras. Rapporten har som mål att bidra till utvecklingsområdet för skapandet av webbapplikationer med designelement. Rapporten utgår från frågeställningen ”Hur kan en webbapplikation med syfte att sälja personliga laptopfodral till en slutkund utformas för att uppnå hög användbarhet?” och har som vision att personer som vill sätta en personlig prägel på vardagen ska hitta till e-butiken. Det finns i nuläget få möjligheter att som en köpare designa och sätta en personlig prägel på laptopfodral. Enligt marknadsanalysen i Bilaga 1 finns en icke-uppfylld efterfrågan för sådana personligt anpassade laptopfodral och därför anses utveckling av en webbapplikation som tillgodoser detta behov meningsfull. Rapporten redogör för de tekniska metoder som kan användas och vilken inverkan dessa har på e-butikens konkurrenskraft. Vid utvecklingen av webbapplikationen har en stor vikt lagts vid designstrategier som skapar användbarhet för den potentiella användaren. Detta är något, enligt den teori som presenteras, som är en avgörande faktor för att kunden skall genomföra ett köp. Utöver detta påpekas det i teorin att det är vitalt för e-butiken att ha korta laddningstider, vilket har varit en viktig faktor vid utveckling av webbapplikationen. Slutsatsen blir att en webbapplikation vars huvudsyfte är försäljning av personliga produkter kan utvecklas agilt med scrum och de metoder som använts i projektet. Att utveckla ett designverktyg för laptopfodral var en stor utmaning med en ständig avvägning mellan en minimalistisk design och en utökad funktionalitet för användaren

A study of how a web application for advertising consulting jobs to students can be implemented to be perceived as useful

Studentkonsultprojekt gör det möjligt för studenter att applicera sin kunskap i näringslivet samtidigt som det blir mindre kostsamt för företagen att anlita konsulter. Då jobbsökande via internet blir allt vanligare finns det ett behov av en webbapplikation för konsultuppdrag som kopplar samman studenter och företag. En av de viktigaste aspekterna för att skapa en konkurrenskraftig webbapplikation är användbarheten. Således är intentionen med denna studie att undersöka Hur kan en webbapplikation för konsultuppdrag mellan företag och studenter implementeras för att uppfattas som användbar av studenter? För att besvara frågeställningen har en webbapplikation för förmedling av konsulttjänster mellan företag och studenter utvecklats. Webbapplikationen baseras på en teoretisk grund där olika dimensioner av begreppet användbarhet analyserats. De dimensioner som lyfts är effektivitet, ändamålsenlighet och tillfredsställelse. I tillägg till detta har vikten av att specificera användare och de estetiska aspekternas påverkan på användbarhet behandlats. För att utvärdera om webbapplikationen upplevs som användbar testas den på tre testgrupper i tre olika skeden för att undersöka deras upplevelse av webbapplikationen. Testerna utgår från metoden thinking aloud tillsammans med enkäterna System Usability Scale (SUS) och Visual Aesthetics of Websites Inventory Short (VisAWI-S). SUS- och VisAWI-S-enkäterna gav indikationer på en starkt användbar applikation genom hela utvecklingsprocessen. Detta utifrån implementation av en design som främst utgick från principerna enkelhet och färgrikedom samt fokusområdena Synlighet av systemstatus, Igenkänning istället för återkallande, Flexibilitet och effektiv användning och Estetisk och minimalistisk design. Genom att analysera resultaten från thinking aloud-testerna kunde en tydlig minskning av negativa kommentarer identifieras mellan användartest 1-3. Utifrån dessa testresultat, dras slutsatserna att genom återkoppling relaterad till utförda aktioner, implementation av markörer och färgval med hänsyn till kontraster kan en webbapplikation för konsultjobb implementeras för att uppfattas som användbar av studenter.Studentconsulting makes it possible for students to use their knowledge in business cases. In addition to this it also reduces the cost for enterprises when hiring consultants. As job hunting via the internet becomes more common there is a need for a web application that connects company projects with students who are interested in consulting. One of the most prominent aspects for a web application to be competitive is usability. The intention with this study is to examine How can a webapplication for consulting jobs between enterprises and students be implemented to be perceived as useful by students? To answer this question a web application for intermediation of consulting jobs between enterprises and students has been developed. The web application is developed on a theoretical basis where the different dimensions of the term usability has been analysed. These dimensions are efficiency, effectiveness and satisfaction. In addition to this the importance of specifying users and the aesthetic aspects effects on usability has been discussed. To evaluate if the web aplication is perceived as useful it is tested on three groups of people on three different occasions to examine their perception of the web application. The tests are based on the thinking aloud method together with the questionnaires System Usability Scale (SUS) and Visual Aesthetics of Websites Inventory Short (VisAWI-S). The SUS and VisAWI-S questionnaires indicated that the web application had a high level of usability throughout the development process. This was achieved through implementing a design based on simplicity and colorfulness as well as the principles Visibility of system status, Recognition rather than recall, Flexibility and efficiency of use and Aesthetic and minimalist design. By analysing the results from the thinking aloud tests a reduction in negative comments between test 1 and 3 could be identified. From the test results, the conclusion is that through responses related to completed actions, implementation of markers, and contrasting colors a web application for consulting jobs between enterprises and students can be implemented to be perceived as useful by students

A study of how a web application for advertising consulting jobs to students can be implemented to be perceived as useful

Studentkonsultprojekt gör det möjligt för studenter att applicera sin kunskap i näringslivet samtidigt som det blir mindre kostsamt för företagen att anlita konsulter. Då jobbsökande via internet blir allt vanligare finns det ett behov av en webbapplikation för konsultuppdrag som kopplar samman studenter och företag. En av de viktigaste aspekterna för att skapa en konkurrenskraftig webbapplikation är användbarheten. Således är intentionen med denna studie att undersöka Hur kan en webbapplikation för konsultuppdrag mellan företag och studenter implementeras för att uppfattas som användbar av studenter? För att besvara frågeställningen har en webbapplikation för förmedling av konsulttjänster mellan företag och studenter utvecklats. Webbapplikationen baseras på en teoretisk grund där olika dimensioner av begreppet användbarhet analyserats. De dimensioner som lyfts är effektivitet, ändamålsenlighet och tillfredsställelse. I tillägg till detta har vikten av att specificera användare och de estetiska aspekternas påverkan på användbarhet behandlats. För att utvärdera om webbapplikationen upplevs som användbar testas den på tre testgrupper i tre olika skeden för att undersöka deras upplevelse av webbapplikationen. Testerna utgår från metoden thinking aloud tillsammans med enkäterna System Usability Scale (SUS) och Visual Aesthetics of Websites Inventory Short (VisAWI-S). SUS- och VisAWI-S-enkäterna gav indikationer på en starkt användbar applikation genom hela utvecklingsprocessen. Detta utifrån implementation av en design som främst utgick från principerna enkelhet och färgrikedom samt fokusområdena Synlighet av systemstatus, Igenkänning istället för återkallande, Flexibilitet och effektiv användning och Estetisk och minimalistisk design. Genom att analysera resultaten från thinking aloud-testerna kunde en tydlig minskning av negativa kommentarer identifieras mellan användartest 1-3. Utifrån dessa testresultat, dras slutsatserna att genom återkoppling relaterad till utförda aktioner, implementation av markörer och färgval med hänsyn till kontraster kan en webbapplikation för konsultjobb implementeras för att uppfattas som användbar av studenter.Studentconsulting makes it possible for students to use their knowledge in business cases. In addition to this it also reduces the cost for enterprises when hiring consultants. As job hunting via the internet becomes more common there is a need for a web application that connects company projects with students who are interested in consulting. One of the most prominent aspects for a web application to be competitive is usability. The intention with this study is to examine How can a webapplication for consulting jobs between enterprises and students be implemented to be perceived as useful by students? To answer this question a web application for intermediation of consulting jobs between enterprises and students has been developed. The web application is developed on a theoretical basis where the different dimensions of the term usability has been analysed. These dimensions are efficiency, effectiveness and satisfaction. In addition to this the importance of specifying users and the aesthetic aspects effects on usability has been discussed. To evaluate if the web aplication is perceived as useful it is tested on three groups of people on three different occasions to examine their perception of the web application. The tests are based on the thinking aloud method together with the questionnaires System Usability Scale (SUS) and Visual Aesthetics of Websites Inventory Short (VisAWI-S). The SUS and VisAWI-S questionnaires indicated that the web application had a high level of usability throughout the development process. This was achieved through implementing a design based on simplicity and colorfulness as well as the principles Visibility of system status, Recognition rather than recall, Flexibility and efficiency of use and Aesthetic and minimalist design. By analysing the results from the thinking aloud tests a reduction in negative comments between test 1 and 3 could be identified. From the test results, the conclusion is that through responses related to completed actions, implementation of markers, and contrasting colors a web application for consulting jobs between enterprises and students can be implemented to be perceived as useful by students

Plasma C4d as marker for lupus nephritis in systemic lupus erythematosus

Background: In the present study, we sought to evaluate the complement activation product C4d as a marker for lupus nephritis in systemic lupus erythematosus (SLE). Methods: C4d levels were determined by enzyme-linked immunosorbent assay in plasma samples of patients with established SLE using a novel approach based on detection of a short linear cleavage neoepitope. Cross-sectional associations were studied in 98 patients with SLE with samples taken at lower or higher respective disease activity. Temporal associations were investigated in 69 patients with SLE who were followed longitudinally for up to 5 years. Plasma samples from 77 healthy donors were included as controls. Results: C4d levels were negligible in healthy control subjects and significantly increased in patients with SLE in the cross-sectional study (p < 0.0001). C4d levels discriminated between higher and lower disease activity according to ROC curve analysis (p < 0.001), exhibiting a positive predictive value of 68%. At higher disease activity, C4d levels correlated with the modified Systemic Lupus Erythematosus Disease Activity Index (p = 0.011) and predominantly with lupus nephritis (p = 0.003), exhibiting a sensitivity of 79% to identify patients with nephritis. High C4d levels together with the presence of anti-dsDNA autoantibodies preceded and thus predicted future lupus nephritis in the longitudinal study (OR 5.4, 95% CI 1.4-21.3). When we considered only patients with renal involvement (19 of 69) during the longitudinal study, we found that high C4d levels alone could forecast recurrence of future lupus nephritis (OR 3.3, 95% CI 1.2-9.6). Conclusions: C4d appears to be a valuable marker for use in monitoring of patients with SLE, particularly for lupus nephritis. Importantly, C4d levels can predict impending flares of lupus nephritis and may thus be useful for informing treatment